Structure and Computation of Straight Skeletons in 3-Space Franz Aurenhammer and Gernot Walzl Institute for Theoretical Computer Science, Graz University of Technology, Graz, Austria {auren,gernot.walzl}@igi.tugraz.at

Source URL: www.igi.tugraz.at

An Output-Sensitive Algorithm for Persistent Homology Chao Chen∗ Michael Kerber Institute of Science and Technology Austria

Source URL: www.research.rutgers.edu

                                   Invitation to Courses PROF. KRISHNENDU CHATTERJEE

Source URL: pub.ist.ac.at

• Formal methods
• Logic in computer science
• Formal verification
• Model checking
• Correctness
• Institute of Science and Technology Austria
• Distributed algorithm
• Algorithm
• Specification
• Theoretical computer science
• Applied mathematics
• Mathematics

3rd June:00 p.m. CFEL-bldg. 99, seminar room IV Mikhail Lemeshko Institute of Science and Technology Austria (IST Austria)

Source URL: www.cfel.de

International Institute for Applied Systems Analysis Schlossplatz 1 A-2361 Laxenburg, Austria Interim Report

Source URL: cemat.aalto.fi

• Science and technology in Ukraine
• Food systems
• Export
• Business
• Economics
• Environment
• Agriculture
• AGRO
• Economy of Ukraine

‐ 1(13)‐                                                                                          March 6, 2013 

Source URL: sci.aalto.fi

• Institute of Physics
• Nordic Institute for Theoretical Physics
• Helsinki Institute of Physics
• European Science Foundation
• Institute of Science and Technology Austria
• Aalto University
• Paul K. Chu
• Padma Kant Shukla
• Physics
• Europe
• Science

An Efficient Decision Procedure for Imperative Tree Data Structures ? Thomas Wies1 , Marco Mu˜niz2 , and Viktor Kuncak3 1 Institute of Science and Technology (IST), Austria

Source URL: lara.epfl.ch

• Model theory
• Predicate logic
• Formal languages
• Metalogic
• First-order logic
• Interpretation
• Ground expression
• Atomic formula
• Well-formed formula
• Logic
• Mathematics
• Mathematical logic

Dr. Ezio Bartocci Curriculum Vitae Personal Information Gender:

Source URL: www.eziobartocci.com

• University of Camerino
• Computer science
• Institute of Science and Technology Austria
• Agent-based model
• Runtime verification
• Edmund M. Clarke
• Systems engineering
• Academia
• Software development
• Science
• Formal methods
• Logic in computer science

PHYSICAL REVIEW B 85, Origin of NMR shielding in fluorides Robert Laskowski and Peter Blaha Institute of Materials Chemistry, Vienna University of Technology, Getreidemarkt 9/165TC, A-1060 Vienna, Austria

Source URL: publik.tuwien.ac.at

• Science
• Spectroscopy
• Solid-state nuclear magnetic resonance
• Chemical shift
• Lead(II) chloride
• Chemistry
• Nuclear magnetic resonance
• Physics

Curriculum for the Joint European Master in Environmental StudiesCities & Sustainability (JEMES CiSu) The Faculty of Engineering and Science Aalborg University

Source URL: www.jemes-cisu.eu

• Academic degrees
• Diplom
• Education in Austria
• Education in Germany
• Education in Greece
• Education in Switzerland
• European Master
• Technical University of Hamburg
• Institute of technology
• Education
• Academia
• Knowledge